$\forall$$i$, $j$:$\mathbb{Z}$, $f$:(\{$i$..$j$$^{-}$\}$\rightarrow\mathbb{Q}$). ($\forall$$n$:\{$i$..$j$$^{-}$\}. 0 $\leq$ $f$($n$)) $\Rightarrow$ 0 $\leq$ $\Sigma$$i$ $\leq$ $n$ $<$ $j$. $f$($n$)